weak truth table reducibility

弱真假值表归约性